//
// Text Editor
//

window.org-gnome-TextEditor {
  popover.open-popover {
    > contents {
      padding: 0;
    }
  }
}
